Constructing the Grobner basis using Anick's resolution in the noncommutative algebras
نویسنده
چکیده
This article describes the method of construction the Gröbner basis based on the information in the Anick’s resolution.
منابع مشابه
Noncommutative Grobner basis, Hilbert series, Anick's resolution and BERGMAN under MS-DOS
The definition and main results connected with Gröbner basis, Hilbert series and Anick's resolution are formulated. The method of the infinity behavior prediction of Gröbner basis in noncommu-tative case is presented. The extensions of BERGMAN package for IBM PC compatible computers are described. Let A =< X|R > be a finitely presented associative algebra over field K. Here are the main example...
متن کاملBERGMAN under MS-DOS and Anick's resolution
Noncommutative algebras, defined by the generators and relations, are considered. The definition and main results connected with the Gröbner basis, Hilbert series and Anick’s resolution are formulated. Most attention is paid to universal enveloping algebras. Four main examples illustrate the main concepts and ideas. Algorithmic problems arising in the calculation of the Hilbert series are inves...
متن کاملConstructing quantum vertex algebras
This is a sequel to [Li6]. In this paper, we focus on the construction of quantum vertex algebras over C, whose notion was formulated in [Li6] with Etingof and Kazhdan’s notion of quantum vertex operator algebra (over C[[h]]) as one of the main motivations. As one of the main steps in constructing quantum vertex algebras, we prove that every countable-dimensional nonlocal (namely noncommutative...
متن کاملA note on power values of generalized derivation in prime ring and noncommutative Banach algebras
Let $R$ be a prime ring with extended centroid $C$, $H$ a generalized derivation of $R$ and $ngeq 1$ a fixed integer. In this paper we study the situations: (1) If $(H(xy))^n =(H(x))^n(H(y))^n$ for all $x,yin R$; (2) obtain some related result in case $R$ is a noncommutative Banach algebra and $H$ is continuous or spectrally bounded.
متن کاملA lattice formulation of the F4 completion procedure
We study rewriting systems on noncommutative algebras by reduction operators. The set of reduction operators admits a lattice structure providing lattice formulations of confluence an completion. The aim of the paper is to use this lattice formulation of completion to introduce a procedure for constructing noncommutative Gröbner bases. The completion of reduction operators is done by Gaussian e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- The Computer Science Journal of Moldova
دوره 4 شماره
صفحات -
تاریخ انتشار 1996